On the verification of memory management mechanisms

机译：关于内存管理机制的验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Iakov Dalinger; Mark Hillebrand; Wolfgang Paul;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Recycling non-leaching gold from gold-plated memory cards: Parameters optimization, experimental verification, and mechanism analysis [J] . Lu Yan, Xu Zhenming Journal of Cleaner Production . 2017,第sepa20期

机译：从镀金存储卡中回收非浸出金：参数优化，实验验证和机理分析
2. Working Memory Mechanism in Proportional Quantifier Verification [J] . Zajenkowski Marcin, Szymanik Jakub, Garraffa Maria Journal of psycholinguistic research . 2014,第6期

机译：比例量词验证中的工作记忆机制
3. Write management mechanisms for systems with non-volatile memory technologies [J] . Roberto Alonso Rodríguez Rodríguez Journal of Computer Science and Technology . 2017,第1期

机译：具有非易失性存储技术的系统的写管理机制
4. On the Verification of Memory Management Mechanisms [C] . Iakov Dalinger, Mark Hillebrand, Wolfgang Paul, IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods . 2005

机译：关于内存管理机制的验证
5. Open mechanism design: Ensuring and verifying the strategyproofness of mechanisms in open environments. [D] . Kang, Laura Suh Young. 2008

机译：开放机制设计：确保和验证开放环境中机制的策略可靠性。
6. Modality-Specific Working Memory Systems Verified by Clinical Working Memory Tests [O] . Eun-Hee Park, Duk-In Jon 2018

机译：通过临床工作记忆测试验证的特定于形式的工作记忆系统
7. Working memory mechanism in proportional quantifier verification [O] . Marcin, Zajenkowski, Jacob, Szymanik, Garraffa, Maria 2014

机译：比例量词验证中的工作记忆机制
8. Formal verification of a set of memory management units [R] . Schubert, E. Thomas, Levitt, K., Cohen, Gerald C. 1992

机译：对一组内存管理单元的正式验证

On the verification of memory management mechanisms

著录项

引文网络

相似文献

相关主题

期刊订阅